// Contient toutes les spécifications de classes nécessaires
// pour représenter l'arbre abstrait
#ifndef ARBRE_H_
#define ARBRE_H_

#include <vector>
#include <iostream>
#include <iomanip>
using namespace std;

#include "Symbole.h"
#include "NoeudVisitor.h"
#include "Valeur.h"

////////////////////////////////////////////////////////////////////////////////
class Noeud
{
// classe abstraite dont dériveront toutes les classes servant à représenter l'arbre abstrait
// Remarque : la classe ne contient aucun constructeur
public:
    virtual Valeur*  getValeur()
    {
        Valeur* valeur = new ValeurInt ( 0 );
        return valeur;
    } ; // méthode pure (non implémentée) qui rend la classe abstraite
//    virtual void afficher(unsigned short indentation=0) { cout << setw(4*indentation) << " "; }
    // pour afficher un noeud avec un décalage (indentation) proportionnel à son niveau dans l'arbre

    virtual ~Noeud() {} // présence d'un destructeur virtuel conseillée dans les classes abstraites
    virtual void Accept ( NoeudVisitor& ) {}

};

////////////////////////////////////////////////////////////////////////////////
class NoeudSeqInst : public Noeud
{
// classe pour représenter un noeud "sequence d'instruction"
// qui a autant de fils que d'instructions dans la séquence
public:
    NoeudSeqInst();   // construit une séquence d'instruction vide
    ~NoeudSeqInst() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue chaque instruction de la séquence
    int getSize(); // évalue chaque instruction de la séquence
//    void afficher(unsigned short indentation=0); // affiche la séquence d'instructions
    void ajouteInstruction ( Noeud* instruction );  // ajoute une instruction à la séquence
    void Accept ( NoeudVisitor& visitor );

private:
    vector<Noeud *> tabInst; // pour stocker les instructions de la séquence
};


////////////////////////////////////////////////////////////////////////////////
class NoeudPour : public Noeud
{
// classe pour représenter un noeud "repeter"
// composé de 2 fils : la seqInst et la condition de sortie
public:
    NoeudPour ( Noeud* aff, Noeud* affDroite, Noeud* expbool, Noeud* seqInst ); // construit une affectation
    ~NoeudPour() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'expression et affecte sa valeur à la variable
//     void afficher(unsigned short indentation=0); // affiche l'affectation
    void Accept ( NoeudVisitor& visitor );

private:
    Noeud* seqInst;
    Noeud* expBool;
    Noeud* aff;
    Noeud* affDroite;
};


////////////////////////////////////////////////////////////////////////////////
class NoeudSi : public Noeud
{
// classe pour représenter un noeud "si"
// composé de 3 fils : la seqInst et la condition d'entre, et le si suivant s'il existe.
public:
    NoeudSi ( Noeud* expbool, Noeud* seqInst, Noeud* siSuivant ); // construit une affectation
    ~NoeudSi() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'expression et affecte sa valeur à la variable
//     void afficher(unsigned short indentation=0); // affiche l'affectation
    void Accept ( NoeudVisitor& visitor );

private:
    Noeud* seqInst;
    Noeud* expBool;
    Noeud* siSuivant;
};



////////////////////////////////////////////////////////////////////////////////
class NoeudTantQue : public Noeud
{
// classe pour représenter un noeud "repeter"
// composé de 2 fils : la seqInst et la condition de sortie
public:
    NoeudTantQue ( Noeud* expbool, Noeud* seqInst ); // construit une affectation
    ~NoeudTantQue() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'expression et affecte sa valeur à la variable
//     void afficher(unsigned short indentation=0); // affiche l'affectation
    void Accept ( NoeudVisitor& visitor );

private:
    Noeud* seqInst;
    Noeud* expBool;
};

////////////////////////////////////////////////////////////////////////////////
class NoeudRepeter : public Noeud
{
// classe pour représenter un noeud "repeter"
// composé de 2 fils : la seqInst et la condition de sortie
public:
    NoeudRepeter ( Noeud* expbool, Noeud* seqInst ); // construit une affectation
    ~NoeudRepeter() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'expression et affecte sa valeur à la variable
//     void afficher(unsigned short indentation=0); // affiche l'affectation
    void Accept ( NoeudVisitor& visitor );

private:
    Noeud* seqInst;
    Noeud* expBool;
};

////////////////////////////////////////////////////////////////////////////////
class NoeudAffectation : public Noeud
{
// classe pour représenter un noeud "affectation"
// composé de 2 fils : la variable et l'expression qu'on lui affecte
public:
    NoeudAffectation ( Noeud* variable, Noeud* expression ); // construit une affectation
    ~NoeudAffectation() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'expression et affecte sa valeur à la variable
//     void afficher(unsigned short indentation=0); // affiche l'affectation
    void Accept ( NoeudVisitor& visitor );
    Noeud* getVariable()
    {
        return variable;
    }
    Noeud* getExpression()
    {
        return expression;
    }

private:
    Noeud* variable;
    Noeud* expression;
};

////////////////////////////////////////////////////////////////////////////////
class NoeudDeclaration : public Noeud
{
// classe pour représenter un noeud "affectation"
// composé de 2 fils : la variable et l'expression qu'on lui affecte
public:
    NoeudDeclaration ( Noeud* variable, string type ); // construit une affectation
    ~NoeudDeclaration() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'expression et affecte sa valeur à la variable
    Symbole getType()
    {
        return type;
    }; // évalue l'expression et affecte sa valeur à la variable
//     void afficher(unsigned short indentation=0); // affiche l'affectation
    void Accept ( NoeudVisitor& visitor );

private:
    string type;
    Noeud* variable;
};


////////////////////////////////////////////////////////////////////////////////
class NoeudEcrire : public Noeud
{
// classe pour représenter un noeud "ecrire"
// composé de 1 fils : l'expression qu'on veux afficher
public:
    NoeudEcrire ( Noeud* expression ); // construit une expression
    ~NoeudEcrire() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // revoie la valeur de l'expression
//     void afficher(unsigned short indentation=0); // affiche le ecrire
    void Accept ( NoeudVisitor& visitor );

private:
    Noeud* expression;
};

////////////////////////////////////////////////////////////////////////////////
class NoeudLire : public Noeud
{
// classe pour représenter un noeud "lire"
// composé de 1 fils : la varialbe que l'on veut affecter
public:
    NoeudLire ( Noeud* variable ); // construit une expression
    ~NoeudLire() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // revoie la valeur de l'expression
//     void afficher(unsigned short indentation=0); // affiche le lire
    void Accept ( NoeudVisitor& visitor );

private:
    Noeud* variable;
};


////////////////////////////////////////////////////////////////////////////////
class NoeudOperateurBinaire : public Noeud
{
// classe pour représenter un noeud "opération arithmétique" composé d'un opérateur (+-*/)
// et de 2 fils : l'opérande gauche et l'opérande droit
public:
    NoeudOperateurBinaire ( Symbole operateur, Noeud* operandeGauche, Noeud* operandeDroit );
    // construit une opération binaire : operandeGauche operateur OperandeDroit
    ~NoeudOperateurBinaire() {} // à cause du destructeur virtuel de la classe Noeud
    Valeur* getValeur(); // évalue l'operande gauche, l'operande droit et applique l'opérateur
//     void afficher(unsigned short indentation=0); // affiche l'opération
    void Accept ( NoeudVisitor& visitor );
    Symbole getOperateur()
    {
        return operateur;
    }
    Noeud* getOperandeGauche()
    {
        return operandeGauche;
    }
    Noeud* getOperandeDroit()
    {
        return operandeDroit;
    }

private:
    Symbole operateur;
    Noeud*  operandeGauche;
    Noeud*  operandeDroit;
};

#endif /* ARBRE_H_ */
